Search Results

Documents authored by Peled, Doron


Found 2 Possible Name Variants:

Peled, Doron A.

Document
07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems

Authors: Michaela Huhn, Hardi Hungar, and Doron A. Peled

Published in: Dagstuhl Seminar Proceedings, Volume 7241, Tools for the Model-based Development of Certifiable, Dependable Systems (2008)


Abstract
From June 10th to June 15th 2007, the Dagstuhl Seminar 07241 ``Tools for the Model-based Development of Certifiable, Dependable Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Michaela Huhn, Hardi Hungar, and Doron A. Peled. 07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems. In Tools for the Model-based Development of Certifiable, Dependable Systems. Dagstuhl Seminar Proceedings, Volume 7241, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{huhn_et_al:DagSemProc.07241.1,
  author =	{Huhn, Michaela and Hungar, Hardi and Peled, Doron A.},
  title =	{{07241 Abstracts Collection –  Tools for the Model-based Development of Certifiable, Dependable Systems}},
  booktitle =	{Tools for the Model-based Development of Certifiable, Dependable Systems},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7241},
  editor =	{Michaela Huhn and Hardi Hungar and Doron A. Peled},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07241.1},
  URN =		{urn:nbn:de:0030-drops-14067},
  doi =		{10.4230/DagSemProc.07241.1},
  annote =	{Keywords: Dependable systems, safety, security, certification, formal methods, modelling, verification, tools}
}
Document
07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems

Authors: Michaela Huhn, Hardi Hungar, and Doron A. Peled

Published in: Dagstuhl Seminar Proceedings, Volume 7241, Tools for the Model-based Development of Certifiable, Dependable Systems (2008)


Abstract
This paper summarizes the objectives and structure of a seminar with the same title, held from June 10th to June 15th, 2007 at Schloss Dagstuhl, Germany.

Cite as

Michaela Huhn, Hardi Hungar, and Doron A. Peled. 07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems. In Tools for the Model-based Development of Certifiable, Dependable Systems. Dagstuhl Seminar Proceedings, Volume 7241, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{huhn_et_al:DagSemProc.07241.2,
  author =	{Huhn, Michaela and Hungar, Hardi and Peled, Doron A.},
  title =	{{07241 Summary –  Tools for the Model-based Development of Certifiable, Dependable Systems}},
  booktitle =	{Tools for the Model-based Development of Certifiable, Dependable Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7241},
  editor =	{Michaela Huhn and Hardi Hungar and Doron A. Peled},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07241.2},
  URN =		{urn:nbn:de:0030-drops-14056},
  doi =		{10.4230/DagSemProc.07241.2},
  annote =	{Keywords: Dependable systems, safety, security, certification, formal methods, modelling, verification, tools}
}

Peled, Doron

Document
Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481)

Authors: Volker Diekert, Manfred Droste, Anca Muscholl, and Doron Peled

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Volker Diekert, Manfred Droste, Anca Muscholl, and Doron Peled. Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481). Dagstuhl Seminar Report 292, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)


Copy BibTex To Clipboard

@TechReport{diekert_et_al:DagSemRep.292,
  author =	{Diekert, Volker and Droste, Manfred and Muscholl, Anca and Peled, Doron},
  title =	{{Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{292},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.292},
  URN =		{urn:nbn:de:0030-drops-151760},
  doi =		{10.4230/DagSemRep.292},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail